type A = string => void
